A denotational semantics for equilibrium logic
نویسندگان
چکیده
منابع مشابه
A denotational semantics for equilibrium logic
In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as Gödel’s G3 logic) that relies on the idea of denotation of a formula, that is, a function that collects the set of models of that formula. Using the threevalued logic G3 as a starting point and an ordering relation (for which equilibrium/stable models are m...
متن کاملA Denotational Semantics for First-Order Logic
In Apt and Bezem [AB99) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic. Additionally, by allowing an assignment of a non-ground term to a variable we introduce in this framework logical variables. The semantics combines a number of well-known ideas from ...
متن کاملDenotational Semantics for Propositional Light Affine Logic
Denotational semantics often make invariants explicit which are implicit in the structure of a proof theoretic system. Asperti’s Light Affine Logic is a proof theoretic system, which can be viewed as a computation model. It was shown by Asperti and Roversi that, as a computation model, it captures the feasible functions. Light Affine Logic is a simplification of Girard’s Light Linear Logic, to ...
متن کاملStratified coherent spaces: a denotational semantics for Light Linear Logic
We introduce a stratified version of the coherent spaces model where an object is given by a sequence of coherent spaces. The intuition behind it is that each level gives a different degree of precision on the computation, an appearance. A morphism is required to satisfy a coherence condition at each level and this setting gives a model of Elementary Linear Logic. We then introduce a measure fu...
متن کاملBroadening the denotational semantics of linear logic
The proof-theoretic origins and specialized models of linear logic make it primarily operational in orientation. In contrast first-order logic treats the operational and denotational aspects of general mathematics quite evenhandedly. Here we show that linear logic has models of even broader denotational scope than those of first order logic, namely Chu spaces, the category of which Barr has obs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2015
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068415000277